well-formed sequent
- 基础释义 纠错
- 释义
成形的相继式
- 双语例句 更多例句
-
1、
该文介绍了DC/P的语义编码方法、采用的相继式证明系统及实现技术，并给出了应用实例。
来源：互联网摘选
- 相关词组
- 相关阅读
-
年龄差25岁！卡戴珊家族“太后”与黑人男友的“不老爱情”，甜到齁！
英语网 · 双语娱乐资讯
-
甜蜜晒婚戒，Dani Dyer与足球健将Jarrod Bowen订婚了
英语网 · 双语娱乐资讯
-
澳大利亚元的英文怎么说?今日澳元兑换人民币汇率是多少?
英语网 · 英语词汇
-
以环保为题的英语作文三篇（带中文）
英语网 · 初中英语作文
-
迪士尼真人电影《白雪公主》预告翻车
英语网 · 双语娱乐资讯
-
EGY是哪个国家缩写？埃及的英文缩写
英语网 · 英语词汇